Open Kernel Labs - PDFSEARCH.IO - Document Search Engine

Open Kernel Labs
Results: 69

#	Item
51	Microsoft Word - Final 2010 AAP.docm Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-06 07:13:23 Research institutes Research Information and communication technologies in education Open Kernel Labs Cooperative Research Centre University of New South Wales Defence Science and Technology Organisation Australian National University Information Technology Infrastructure Library Technology NICTA Academia
52	ok-labs.com COMPANY DEPLOYED IN MORE THAN 750 MILLION DEVICES Add to Reading List Source URL: www.ok-labs.com Language: English - Date: 2010-10-14 17:00:09 Virtual machines Smartphones Open Kernel Labs L4 microkernel family Mobile virtualization Citrix Systems Nirvana Phone Symbian Mobile operating system System software Software Computing
53	INSIDE Game on for Scalify NICTA solver wins Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:46 Computing NICTA Open Kernel Labs Gernot Heiser L4 microkernel family Armadillo University of New South Wales University of Melbourne Information and communication technologies in education Software Association of Commonwealth Universities System software
54	Second Quarter Report to the Australian Government[removed]January – 30 June 2007 Contents Introduction Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-06 06:32:46 Computing Cooperative Research Centre L4 microkernel family Open Kernel Labs Information and communication technologies in education Technology NICTA Research institutes
55	TECHNOLOGY WHITE PAPER The Motorola Evoke QA4 A Case Study in Mobile Virtualization Gernot Heiser, PhD Add to Reading List Source URL: www.ok-labs.com Language: English - Date: 2010-10-07 14:22:35 Open Kernel Labs L4 microkernel family Gernot Heiser Linux Hypervisor Mobile virtualization Operating system Microkernel X86 virtualization System software Software Virtual machines
56	Your System is Secure? Prove it! Gernot Heiser NICTA∗ and University of New South Wales and Open Kernel Labs Sydney, Australia [removed] Add to Reading List Source URL: www.ok-labs.com Language: English - Date: 2010-10-07 14:22:41 Evaluation Formal methods Microkernel L4 microkernel family Trusted computing base Gernot Heiser Formal verification Kernel Evaluation Assurance Level Computer architecture System software Computing
57	INSIDE CEO search is on Eureka! Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:44 Academia Technology University of New South Wales University of Sydney University of Melbourne Higher education UNSW School of Computer Science and Engineering Association of Commonwealth Universities NICTA Open Kernel Labs
58	Research Excellence in ICT Wealth Creation for Australia NICTA REPORT 2013 NICTA REPORT 2013 Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-06 08:09:08 Computing Academia Association of Commonwealth Universities L4 microkernel family Australian National University University of Melbourne Information and communication technologies in education UNSW School of Computer Science and Engineering NICTA Technology Open Kernel Labs
59	Microsoft Word - AR_to_Gov_2010 consolidated final 10 June.docm Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-06 07:24:17 NICTA Education Open Kernel Labs Griffith University University of New South Wales University of Melbourne University of Sydney Australian National University Capability-based security Association of Commonwealth Universities Academia Higher education
60	ISSUE 37 \| JULY[removed]INSIDE Queen’s Birthday honours for Dr Terry Percival Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:56 Red Lizard Software Formal verification Academia Research University of New South Wales Applied mathematics Open Kernel Labs NICTA Gernot Heiser L4 microkernel family

UPDATE